Optimal. Leaf size=70 \[ -\frac {b^2 \left (a+b \sqrt {x}\right )^{16}}{1224 a^3 x^8}+\frac {2 b \left (a+b \sqrt {x}\right )^{16}}{153 a^2 x^{17/2}}-\frac {\left (a+b \sqrt {x}\right )^{16}}{9 a x^9} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 70, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {266, 45, 37} \[ -\frac {b^2 \left (a+b \sqrt {x}\right )^{16}}{1224 a^3 x^8}+\frac {2 b \left (a+b \sqrt {x}\right )^{16}}{153 a^2 x^{17/2}}-\frac {\left (a+b \sqrt {x}\right )^{16}}{9 a x^9} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 45
Rule 266
Rubi steps
\begin {align*} \int \frac {\left (a+b \sqrt {x}\right )^{15}}{x^{10}} \, dx &=2 \operatorname {Subst}\left (\int \frac {(a+b x)^{15}}{x^{19}} \, dx,x,\sqrt {x}\right )\\ &=-\frac {\left (a+b \sqrt {x}\right )^{16}}{9 a x^9}-\frac {(2 b) \operatorname {Subst}\left (\int \frac {(a+b x)^{15}}{x^{18}} \, dx,x,\sqrt {x}\right )}{9 a}\\ &=-\frac {\left (a+b \sqrt {x}\right )^{16}}{9 a x^9}+\frac {2 b \left (a+b \sqrt {x}\right )^{16}}{153 a^2 x^{17/2}}+\frac {\left (2 b^2\right ) \operatorname {Subst}\left (\int \frac {(a+b x)^{15}}{x^{17}} \, dx,x,\sqrt {x}\right )}{153 a^2}\\ &=-\frac {\left (a+b \sqrt {x}\right )^{16}}{9 a x^9}+\frac {2 b \left (a+b \sqrt {x}\right )^{16}}{153 a^2 x^{17/2}}-\frac {b^2 \left (a+b \sqrt {x}\right )^{16}}{1224 a^3 x^8}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 41, normalized size = 0.59 \[ -\frac {\left (a+b \sqrt {x}\right )^{16} \left (136 a^2-16 a b \sqrt {x}+b^2 x\right )}{1224 a^3 x^9} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.98, size = 168, normalized size = 2.40 \[ -\frac {9180 \, a b^{14} x^{7} + 185640 \, a^{3} b^{12} x^{6} + 918918 \, a^{5} b^{10} x^{5} + 1575288 \, a^{7} b^{8} x^{4} + 1021020 \, a^{9} b^{6} x^{3} + 238680 \, a^{11} b^{4} x^{2} + 16065 \, a^{13} b^{2} x + 136 \, a^{15} + 16 \, {\left (51 \, b^{15} x^{7} + 3213 \, a^{2} b^{13} x^{6} + 29835 \, a^{4} b^{11} x^{5} + 85085 \, a^{6} b^{9} x^{4} + 89505 \, a^{8} b^{7} x^{3} + 35343 \, a^{10} b^{5} x^{2} + 4641 \, a^{12} b^{3} x + 135 \, a^{14} b\right )} \sqrt {x}}{1224 \, x^{9}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.17, size = 167, normalized size = 2.39 \[ -\frac {816 \, b^{15} x^{\frac {15}{2}} + 9180 \, a b^{14} x^{7} + 51408 \, a^{2} b^{13} x^{\frac {13}{2}} + 185640 \, a^{3} b^{12} x^{6} + 477360 \, a^{4} b^{11} x^{\frac {11}{2}} + 918918 \, a^{5} b^{10} x^{5} + 1361360 \, a^{6} b^{9} x^{\frac {9}{2}} + 1575288 \, a^{7} b^{8} x^{4} + 1432080 \, a^{8} b^{7} x^{\frac {7}{2}} + 1021020 \, a^{9} b^{6} x^{3} + 565488 \, a^{10} b^{5} x^{\frac {5}{2}} + 238680 \, a^{11} b^{4} x^{2} + 74256 \, a^{12} b^{3} x^{\frac {3}{2}} + 16065 \, a^{13} b^{2} x + 2160 \, a^{14} b \sqrt {x} + 136 \, a^{15}}{1224 \, x^{9}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.00, size = 168, normalized size = 2.40 \[ -\frac {2 b^{15}}{3 x^{\frac {3}{2}}}-\frac {15 a \,b^{14}}{2 x^{2}}-\frac {42 a^{2} b^{13}}{x^{\frac {5}{2}}}-\frac {455 a^{3} b^{12}}{3 x^{3}}-\frac {390 a^{4} b^{11}}{x^{\frac {7}{2}}}-\frac {3003 a^{5} b^{10}}{4 x^{4}}-\frac {10010 a^{6} b^{9}}{9 x^{\frac {9}{2}}}-\frac {1287 a^{7} b^{8}}{x^{5}}-\frac {1170 a^{8} b^{7}}{x^{\frac {11}{2}}}-\frac {5005 a^{9} b^{6}}{6 x^{6}}-\frac {462 a^{10} b^{5}}{x^{\frac {13}{2}}}-\frac {195 a^{11} b^{4}}{x^{7}}-\frac {182 a^{12} b^{3}}{3 x^{\frac {15}{2}}}-\frac {105 a^{13} b^{2}}{8 x^{8}}-\frac {30 a^{14} b}{17 x^{\frac {17}{2}}}-\frac {a^{15}}{9 x^{9}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.91, size = 167, normalized size = 2.39 \[ -\frac {816 \, b^{15} x^{\frac {15}{2}} + 9180 \, a b^{14} x^{7} + 51408 \, a^{2} b^{13} x^{\frac {13}{2}} + 185640 \, a^{3} b^{12} x^{6} + 477360 \, a^{4} b^{11} x^{\frac {11}{2}} + 918918 \, a^{5} b^{10} x^{5} + 1361360 \, a^{6} b^{9} x^{\frac {9}{2}} + 1575288 \, a^{7} b^{8} x^{4} + 1432080 \, a^{8} b^{7} x^{\frac {7}{2}} + 1021020 \, a^{9} b^{6} x^{3} + 565488 \, a^{10} b^{5} x^{\frac {5}{2}} + 238680 \, a^{11} b^{4} x^{2} + 74256 \, a^{12} b^{3} x^{\frac {3}{2}} + 16065 \, a^{13} b^{2} x + 2160 \, a^{14} b \sqrt {x} + 136 \, a^{15}}{1224 \, x^{9}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.24, size = 167, normalized size = 2.39 \[ -\frac {\frac {a^{15}}{9}+\frac {2\,b^{15}\,x^{15/2}}{3}+\frac {105\,a^{13}\,b^2\,x}{8}+\frac {30\,a^{14}\,b\,\sqrt {x}}{17}+\frac {15\,a\,b^{14}\,x^7}{2}+195\,a^{11}\,b^4\,x^2+\frac {5005\,a^9\,b^6\,x^3}{6}+1287\,a^7\,b^8\,x^4+\frac {3003\,a^5\,b^{10}\,x^5}{4}+\frac {182\,a^{12}\,b^3\,x^{3/2}}{3}+\frac {455\,a^3\,b^{12}\,x^6}{3}+462\,a^{10}\,b^5\,x^{5/2}+1170\,a^8\,b^7\,x^{7/2}+\frac {10010\,a^6\,b^9\,x^{9/2}}{9}+390\,a^4\,b^{11}\,x^{11/2}+42\,a^2\,b^{13}\,x^{13/2}}{x^9} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 10.07, size = 209, normalized size = 2.99 \[ - \frac {a^{15}}{9 x^{9}} - \frac {30 a^{14} b}{17 x^{\frac {17}{2}}} - \frac {105 a^{13} b^{2}}{8 x^{8}} - \frac {182 a^{12} b^{3}}{3 x^{\frac {15}{2}}} - \frac {195 a^{11} b^{4}}{x^{7}} - \frac {462 a^{10} b^{5}}{x^{\frac {13}{2}}} - \frac {5005 a^{9} b^{6}}{6 x^{6}} - \frac {1170 a^{8} b^{7}}{x^{\frac {11}{2}}} - \frac {1287 a^{7} b^{8}}{x^{5}} - \frac {10010 a^{6} b^{9}}{9 x^{\frac {9}{2}}} - \frac {3003 a^{5} b^{10}}{4 x^{4}} - \frac {390 a^{4} b^{11}}{x^{\frac {7}{2}}} - \frac {455 a^{3} b^{12}}{3 x^{3}} - \frac {42 a^{2} b^{13}}{x^{\frac {5}{2}}} - \frac {15 a b^{14}}{2 x^{2}} - \frac {2 b^{15}}{3 x^{\frac {3}{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________